On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays

We define a notion of implementation for real-time Abstract State Machines (ASM) with instantaneous actions by machines with delayed actions. The time is continuous, and time constraints are metric. It is clear that not every machine of the first type can be implemented by a machine of the second type. We describe sufficient conditions on ASM that permit to construct such an implementation in a rather straightforward way. The problem of properties preservation, when implementing ASM within this framework, is also briefly discussed.